/* 
 * File:   Types.h
 * Author: Thomas Trojer
 *
 * Created on 13. Juli 2010, 19:19
 */

#ifndef TYPES_H
#define	TYPES_H

#include <string>
#include <tr1/unordered_map>
#include <iostream>

#define PI 3.14159265358979323846264338327

typedef std::string Term;
typedef std::tr1::unordered_map<char, Term> TermRewrite;

#endif	/* TYPES_H */

